Browsing by Subject "Reasoning about actions"
Now showing items 1-7 of 7
-
Conference Object
Argumentation and temporal persistence
(2011)We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language E for Reasoning about Actions and Change into a Logic Programming ...
-
Article
An argumentation framework for reasoning about actions and change
(1999)We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
-
Article
Modular-E and the role of elaboration tolerance in solving the qualification problem
(2010)We describe Modular-E (ME), a specialized, model-theoretic logic for reasoning about actions. ME is able to represent non-deterministic domains involving concurrency, static laws (constraints), indirect effects (ramifications), ...
-
Conference Object
Modular-ε: An elaboration tolerant approach to the ramification and qualification problems - Preliminary report
(2005)We describe Modular-ε (ME), a specialized, model-theoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects ...
-
Conference Object
Reasoning about actions and change in answer set programming
(Springer Verlag, 2004)This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm. It investigates how increasing the expressiveness ...
-
Conference Object
A unified argumentation-based framework for knowledge qualification
(2011)Among the issues faced by an intelligent agent, central is that of reconciling the, often contradictory, pieces of knowledge - be those given, learned, or sensed - at its disposal. This problem, known as knowledge ...
-
Article
ε-RES: Reasoning about actions, events and observations
(2001)The language ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from abduction, ...